Markov's rule is admissible in the set theory with intuitionistic logicKHAKHANIAN, V. KH.Lecture notes in computer science. 1997, pp 167-171, issn 0302-9743, isbn 3-540-63385-5Conference Paper

A boundedness theorem in ID₁(W)JAGER, G.The Journal of symbolic logic. 1986, Vol 51, Num 4, pp 942-947, issn 0022-4812Article

Natural deduction and sequent calculus for intuitionistic relevant logicTENNANT, N.The Journal of symbolic logic. 1987, Vol 52, Num 3, pp 665-680, issn 0022-4812Article

Integrating classical and intuitionistic type theoryFLAGG, R. C.Annals of pure and applied logic. 1986, Vol 32, Num 1, pp 27-51, issn 0168-0072Article

Closing the gap between the stable semantics and extensions of WFSOSORIO, Mauricio; BORJA, Veronica; ARRAZOLA, Jose et al.Lecture notes in computer science. 2004, pp 202-211, issn 0302-9743, isbn 3-540-21459-3, 10 p.Conference Paper

Coercive subtyping in type theoryLUO, Z.Lecture notes in computer science. 1997, pp 275-296, issn 0302-9743, isbn 3-540-63172-0Conference Paper

A structurally complete fragment of relevant logicSLANEY, J. K; MEYER, R. K.Notre Dame journal of formal logic. 1992, Vol 33, Num 4, pp 561-566, issn 0029-4527Article

Inhabitation of types in the simply typed lambda calculusDEKKERS, W.Information and computation (Print). 1995, Vol 119, Num 1, pp 14-17, issn 0890-5401Article

On the logical content of Computational type theory: A solution to Curry's problemFAIRTLOUGH, Matt; MENDLER, Michael.Lecture notes in computer science. 2002, pp 63-78, issn 0302-9743, isbn 3-540-43287-6Conference Paper

On the syntax of Martin-Löf's type theoriesTROELSTRA, A. S.Theoretical computer science. 1987, Vol 51, Num 1-2, pp 1-26, issn 0304-3975Article

An intuitionistic Sheffer functionDOSEN, K.Notre Dame journal of formal logic. 1985, Vol 26, Num 4, pp 479-482, issn 0029-4527Article

Classical logic, intuitionistic logic, and the Peirce ruleAFRICK, H.Notre Dame journal of formal logic. 1992, Vol 33, Num 2, pp 229-235, issn 0029-4527Article

The disjunction and existence properties for axiomatic systems of truthFRIEDMAN, H; SHEARD, M.Annals of pure and applied logic. 1988, Vol 40, Num 1, pp 1-10, issn 0168-0072Article

Intuitionistic implication in abstract interpretationGIACOBAZZI, R; SCOZZARI, F.Lecture notes in computer science. 1997, pp 175-189, issn 0302-9743, isbn 3-540-63398-7Conference Paper

MINLOG : A minimal logic theorem proverSLANEY, J.Lecture notes in computer science. 1997, pp 268-271, issn 0302-9743, isbn 3-540-63104-6Conference Paper

Nonstandard connectives of intuitionistic propositional logicKAMINSKI, M.Notre Dame journal of formal logic. 1988, Vol 29, Num 3, pp 309-331, issn 0029-4527Article

Sub countability under realizabilityMCCARTY, C.Notre Dame journal of formal logic. 1986, Vol 27, Num 2, pp 210-220, issn 0029-4527Article

Bisimulation and propositional intuitionistic logicPATTERSON, A.Lecture notes in computer science. 1997, pp 347-360, issn 0302-9743, isbn 3-540-63141-0Conference Paper

Propositional quantification in intuitionistic logicPOŁACIK, T.Lecture notes in computer science. 1997, pp 255-263, issn 0302-9743, isbn 3-540-63385-5Conference Paper

A calibration of ineffective theorems of analysis in a hierarchy of semi-classical logical principles: (Extended abstract)TOFTDAL, Michael.Lecture notes in computer science. 2004, pp 1188-1200, issn 0302-9743, isbn 3-540-22849-7, 13 p.Conference Paper

Remark on the intuitionistic fuzzy logicsATANASSOV, K. T.Fuzzy sets and systems. 1998, Vol 95, Num 1, pp 127-129, issn 0165-0114Article

DiaLog : A system for dialogue logicEHRENSBERGER, J; ZINN, C.Lecture notes in computer science. 1997, pp 446-460, issn 0302-9743, isbn 3-540-63104-6Conference Paper

New intuitionistic logical constants : Undecidability of the Conservativeness problemYASHIN, A. D.Lecture notes in computer science. 1997, pp 460-471, issn 0302-9743, isbn 3-540-63172-0Conference Paper

Reasoning about security : A logic and a decision method for role-based access controlMASSACCI, F.Lecture notes in computer science. 1997, pp 421-435, issn 0302-9743, isbn 3-540-63095-3Conference Paper

Another proof of the intuitionistic Ramsey theoremCOQUAND, T.Theoretical computer science. 1993, Vol 115, Num 1, pp 63-75, issn 0304-3975Conference Paper